2

Flow Logic for Process Calculi

Year:
2012
Language:
english
File:
PDF, 349 KB
english, 2012
5

Foreword

Year:
2003
Language:
english
File:
PDF, 20 KB
english, 2003
6

What is a free name in a process algebra?

Year:
2007
Language:
english
File:
PDF, 138 KB
english, 2007
7

Pathway analysis for BioAmbients

Year:
2008
Language:
english
File:
PDF, 1.89 MB
english, 2008
8

Static Analysis of IMC

Year:
2012
Language:
english
File:
PDF, 421 KB
english, 2012